On Matrices, Automata, and Double Counting

Matrix models are ubiquitous for constraint problems. Many such problems have a matrix of variables M, with the same constraint defined by a finite-state automaton A on each row of M and a global cardinality constraint gcc on each column of M. We give two methods for deriving, by double counting, necessary conditions on the cardinality variables of the gcc constraints from the automaton A. The first method yields linear necessary conditions and simple arithmetic constraints. The second method introduces the cardinality automaton, which abstracts the overall behaviour of all the row automata and can be encoded by a set of linear constraints. We evaluate the impact of our methods on a large set of nurse rostering problem instances

On the power of languages for the manipulation of complex objects

Résumé disponible dans les fichiers attaché

Reasoning about embedded dependencies using inclusion dependencies

The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions

Activation of a prophage‐encoded tyrosine kinase by a heterologous infecting phage results in a self‐inflicted abortive infection

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/87011/1/j.1365-2958.2011.07847.x.pd

Tractable Combinations of Global Constraints

We study the complexity of constraint satisfaction problems involving global constraints, i.e., special-purpose constraints provided by a solver and represented implicitly by a parametrised algorithm. Such constraints are widely used; indeed, they are one of the key reasons for the success of constraint programming in solving real-world problems. Previous work has focused on the development of efficient propagators for individual constraints. In this paper, we identify a new tractable class of constraint problems involving global constraints of unbounded arity. To do so, we combine structural restrictions with the observation that some important types of global constraint do not distinguish between large classes of equivalent solutions.Comment: To appear in proceedings of CP'13, LNCS 8124. arXiv admin note: text overlap with arXiv:1307.179

On scrimshaw precursors: a 13th-century carved and engraved sperm whale tooth

In der einschlägigen Forschung zur Walfängervolkskunst des "Scrimshaw" - den seit den 1820er Jahren populär gewordenen Seemannsarbeiten speziell auf und aus Pottwal- und Walroßzahn, Barten und Walknochen - werden künstlerisch bearbeitete Gegenstände anderer Kulturen aus denselben Materialien als "Scrimshaw"-Vorläufer bezeichnet. Aus dem europäischen Mittelalter sind zwar zahlreiche Beispiele von Schnitzereien aus Walroßzahn und Walknochen bekannt, nicht jedoch aus Pottwalzahn, dem beinah stereotypen Werkstoff der "Scrimshander" des 19. und 20. Jahrhunderts. Der "Königsspiegel", ein um 1250/60 in Norwegen geschriebener pädagogischer Text, erwähnt gleichwohl Schnitzereien aus Pottwalzahn. Auch aus dem 16. und 17. Jahrhundert sind textliche Hinweise auf skandinavisches Kunstgewerbe aus den Zähnen dieses Meeressäugers bekannt. Im Anschluß an die Präsentation dieser Quellen wird ein konkretes Beispiel vorgestellt: Es handelt sich um ein beschnitztes und graviertes Salbenhorn aus Pottwalzahn, das sich in der Sammlung christlicher Kunst und Kultur des Museums der Universität Bergen, Norwegen, lnv. MA 437, befindet. Aus dem massiven Dentin wurde ein Greif herausgeschnitzt, der Ausguß wurde wie der Kopf eines gotischen Wasserspeiers gestaltet. Auf einer glatten Seitenfläche wurde später ein kleines Tondo mit Pflanzen- und Vogelmotiv eingraviert. Es trägt eine Inschrift, die vom Bergenser Museum als griechisch, hier aber als russisch identifiziert wurde, deren Sinn aber unklar bleibt. Anlass, die vom Museum vorgenommene Datierung des Zahns in das 13. Jahrhundert zu revidieren, besteht allerdings nicht

Designer diatom episomes delivered by bacterial conjugation.

Eukaryotic microalgae hold great promise for the bioproduction of fuels and higher value chemicals. However, compared with model genetic organisms such as Escherichia coli and Saccharomyces cerevisiae, characterization of the complex biology and biochemistry of algae and strain improvement has been hampered by the inefficient genetic tools. To date, many algal species are transformable only via particle bombardment, and the introduced DNA is integrated randomly into the nuclear genome. Here we describe the first nuclear episomal vector for diatoms and a plasmid delivery method via conjugation from Escherichia coli to the diatoms Phaeodactylum tricornutum and Thalassiosira pseudonana. We identify a yeast-derived sequence that enables stable episome replication in these diatoms even in the absence of antibiotic selection and show that episomes are maintained as closed circles at copy number equivalent to native chromosomes. This highly efficient genetic system facilitates high-throughput functional characterization of algal genes and accelerates molecular phytoplankton research